orx-pseudo-default
PseudoDefault
trait allows to create a cheap default instance of a type, which does not claim to be useful.
The difference of PseudoDefault
from Default
is the relaxed expectation of the created instance to be useful.
The main use case of the trait is when we need to create a cheap instance of a type without any arguments, only to throw away afterwards. Therefore, created instance does not need to be a decent one.
This trait allows to avoid unsafe code in certain use cases. For instance:
- We can avoid tricks such as uninit, manually-drop, etc. that requires to be extremely careful, when we could've actually created a valid instance much more easily.
- We can use pseudo-default to fill the gaps when we need to take out an element from a collection of types that cannot implement Default.
Note that pseudo-default requirement is more relaxed than that of default, and hence,
- types implementing Default can implement PseudoDefault,
- additionally, types that cannot implement Default can manually implement PseudoDefault, provided that it is safe and cheap to create a pseudo instance of the type without any arguments.
Example
Consider the following fictional type Share
which divides a whole into pieces. Without providing the number_of_shares
, this type does not have a meaning.
Therefore, we cannot justify implementing Default
, it would be misleading.
If we still need to be able to create Share's for some reason, we can simply use pseudo_default
. We would know that the created type does not promise to make sense behaviorally; however, it is still a cheap and valid instance that can be safely dropped.
use PseudoDefault;
A more advanced use case could be the following. Assume that we are trying to create a vec wrapper called TakeVec
with the following features;
- it allows to take out elements by index by a method called
take
- we should be able to wrap an allocated vec without any additional allocation
- we need to be able to give back the originally allocated vec
- we want to achieve this without unsafe code
It is trivial to implement this with Default
but we want to be less restrictive on the constraint so that it works for non-default types as well. We can use PseudoDefault for this.
use PseudoDefault;
;
// implemented default types
let mut vec: = vec!.into;
assert_eq!;
let mut vec: = vec!.into;
assert_eq!;
// non-default types
let mut vec: = vec!
.into;
assert_eq!;
Derive
Similar to Default
, it is possible to derive PseudoDefault
provided that all members also implement PseudoDefault
.
use *;
assert_eq!;
assert_eq!;
assert_eq!;
assert_eq!;
assert_eq!;
Contributing
Contributions are welcome! If you notice an error, have a question or think something could be improved, please open an issue or create a PR.
License
This library is licensed under MIT license. See LICENSE for details.